1 Independence Structures in Set Theory
نویسنده
چکیده
The axioms for "independent choices" presented in van Lambalgen [1992] are strengthened here, so that they can be seen as introducing a new type of indiscernibles in set theory. The resulting system allows for the construction of natural inner models. The article is organised as follows. Section 1 introduces the axioms, some preliminary lemmas are proved and the relation with the axiom of choice is investigated. Section 0 gives a philosophical motivation for the axioms; the reader who is not interested in such matters can skip this part. In section 2 we compare the structure introduced by the axioms, here called an independence structure, with two constructions from model theory, indiscernibles and minimal sets. Section 3 contains the construction of inner models, while section 4 presents some concluding philosophical remarks.
منابع مشابه
INDEPENDENT SETS OF SOME GRAPHS ASSOCIATED TO COMMUTATIVE RINGS
Let $G=(V,E)$ be a simple graph. A set $Ssubseteq V$ isindependent set of $G$, if no two vertices of $S$ are adjacent.The independence number $alpha(G)$ is the size of a maximumindependent set in the graph. In this paper we study and characterize the independent sets ofthe zero-divisor graph $Gamma(R)$ and ideal-based zero-divisor graph $Gamma_I(R)$of a commutative ring $R$.
متن کاملFuzzy Acts over Fuzzy Semigroups and Sheaves
lthough fuzzy set theory and sheaf theory have been developed and studied independently, Ulrich Hohle shows that a large part of fuzzy set theory is in fact a subfield of sheaf theory. Many authors have studied mathematical structures, in particular, algebraic structures, in both categories of these generalized (multi)sets. Using Hohle's idea, we show that for a (universal) algebra $A$, th...
متن کاملConstructibility and decidability versus domain independence and absoluteness
We develop a unified framework for dealing with constructibility and absoluteness in set theory, decidability of relations in effective structures (like the natural numbers), and domain independence of queries in database theory. Our framework and results suggest that domain-independence and absoluteness might be the key notions in a general theory of constructibility, predicativity, and comput...
متن کاملInvestigating the method of achieving technology upstream of Iran's oil and gas industry using game theory in two modes of cooperation (transfer) and non-cooperation (independence)
Access to technology in the upstream oil and gas industry is one of the most challenging issues. In this industry, in order to be able to apply the desired effects of technology in the economic and development dimension, in the decision-making process, the choice to acquire technology must be such as to avoid repeating the ineffective approaches of the past. However, the most divisive And expli...
متن کاملIndependence Structures in Set Theory1
The axioms for "independent choices" presented in van Lambalgen [1992] are strengthened here, so that they can be seen as introducing a new type of indiscernibles in set theory. The resulting system allows for the construction of natural inner models. The article is organised as follows. Section 1 introduces the axioms, some preliminary lemmas are proved and the relation with the axiom of choic...
متن کامل